Patrick Doherty - PDFSEARCH.IO - Document Search Engine

Patrick Doherty
Results: 80

#	Item
41	Federated DyKnow, a Distributed Information Fusion System for Collaborative UAVs Fredrik Heintz and Patrick Doherty Dept. of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {frehe, pat Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-23 07:08:41 Signals intelligence Unmanned aerial vehicle Computing Knowledge representation FIPA Java Agent Development Framework Agent Communications Language Science Multi-agent systems Artificial intelligence Military terminology
42	Towards a Logical Analysis of Biochemical Reactions Patrick Doherty and Steve Kertes and Martin Magnusson and Andrzej Szalas1 Abstract. We provide a logical model of biochemical reactions and show how hypothesis generati Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:40:34 Chemical reaction Chemistry
43	DyKnow: An Approach to Middleware for Knowledge Processing Fredrik Heintz∗and Patrick Doherty† Dept. of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {frehe, patdo}@ida.liu.se Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:37:05 Object-oriented programming Programming paradigms Component-based software engineering Inter-process communication Database management systems Common Object Request Broker Architecture Reference Application programming interface Feature Software engineering Computing Computer programming
44	An Experimental Platform for Approximate Databases Martin Magnusson, Patrick Doherty, Andrzej Szalas Department of Computer and Information Science SE[removed]Link¨oping, Sweden email: {marma,patdo,andsz}@ida.liu.se Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:39:54 Data Relational database management systems Computer languages Data modeling SQL Relational database Table Database Query language Data management Database theory Computing
45	Approximate Databases: A Support Tool for Approximate Reasoning Patrick Doherty* , Martin Magnusson* , Andrzej Szałas,* * Department of Computer and Information Science, University of Linköping, SE[removed]Linköping, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:39:09 Philosophical logic Predicate logic Propositional calculus Metalogic First-order logic FO Modal logic Propositional variable Closed world assumption Logic Mathematical logic Model theory
46	Knowledge Processing Middleware Fredrik Heintz, Jonas Kvarnstr¨om, and Patrick Doherty {frehe, jonkv, patdo}@ida.liu.se Dept. of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 05:59:58 Middleware Video game development Stream processing Database Game engine Abstraction Visual perception Complex event processing Robotics middleware Computing Systems engineering Programming paradigms
47	Abductive Reasoning with Filtered Circumscription∗ Martin Magnusson and Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,jo Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:10:07 Science Reasoning Automated theorem proving Deduction Knowledge representation Frame problem Event calculus Circumscription Yale shooting problem Logic Mathematical logic Logic programming
48	DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems Fredrik Heintz and Patrick Doherty Dept. of Computer and Information Science Link¨oping University, Sweden {frehe, patdo}@ Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2013-08-07 07:36:16 Object-oriented programming Computer programming Component-based software engineering Inter-process communication Database management systems Common Object Request Broker Architecture Reference Feature Application programming interface Software engineering Computing Computer vision
49	Incremental Dynamic Controllability Revisited Mikael Nilsson and Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science Link¨oping University, SE[removed]Link¨oping, Sweden {mikni,jonkv,pat Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2013-03-25 09:28:17 Constraint programming Graph Flow network Local consistency Matroid theory Graph theory Mathematics Theoretical computer science
50	Classical Dynamic Controllability Revisited A Tighter Bound on the Classical Algorithm Mikael Nilsson, Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science, Link¨oping University, SE-581 Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2014-04-25 10:49:37 Applied mathematics Network flow Operations research Local consistency Flow network Bellman–Ford algorithm Decomposition method Constraint programming Theoretical computer science Mathematics

UPDATE